الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
978-3-540-69534-9
Advanced Information Systems Engineering : 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, ...

اقرأ المزيد
978-3-540-73111-5
Human-Computer Interaction. HCI Applications and Services

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This ...

اقرأ المزيد
978-3-540-77395-5
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

اقرأ المزيد
978-3-540-68524-1
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

اقرأ المزيد
عدد الكتب: 1 - 4 /4